This is the Makefile for Linux